Higher-Order Acausal Models
نویسندگان
چکیده
Current equation-based object-oriented (EOO) languages typically contain a number of fairly complex language constructs for enabling reuse of models. However, support for model transformation is still often limited to scripting solutions provided by tool implementations. In this paper we investigate the possibility of combining the well known concept of higher-order functions, used in standard functional programming languages, with acausal models. This concept, called Higher-Order Acausal Models (HOAMs), simplifies the creation of reusable model libraries and model transformations within the modeling language itself. These transformations include general model composition and recursion operations and do not require data representation/reification of models as in metaprogramming/metamodeling. Examples within the electrical and mechanical domain are given using a small research language. However, the language concept is not limited to a particular language, and could in the future be incorporated into existing commercially available EOO-languages.
منابع مشابه
Renormalizable Acausal Theories Of Classical Gravity Coupled With Interacting Quantum Fields
We prove the renormalizability of various theories of classical gravity coupled with interacting quantum fields. The models contain vertices with dimensionalities greater than four, a finite number of matter operators and a finite or reduced number of independent couplings. An interesting class of models is obtained from ordinary power-counting renormalizable theories, letting the couplings dep...
متن کاملA Bayesian Approach to Learning Causal Networks
Whereas acausal Bayesian networks represent probabilistic independence, causal Bayesian networks represent causal relationships. In this paper, we examine Bayesian methods for learning both types of networks. Bayesian methods for learning acausal networks are fairly well developed. These methods often employ assumptions to facilitate the construction of priors, including the assumptions of para...
متن کاملThermal Conditions in Buildings-Advances of Acausal OO Modelling in Comparison with Traditional Approach
The paper deals with some important aspects of continuous systems modelling approaches. Namely the traditional approach is based on block oriented schemes in which causal relations play an important role. However this causality is artificially generated in order to fulfil appropriate conditions for simulation on conventional sequential computers. Fortunately new concepts which are based on obje...
متن کاملAn Acausal Li-Ion Battery Pack Model for Automotive Applications
In this work, a novel acausal and reconfigurable battery pack model is presented. The model structure adopted for the battery cell is based on an equivalent circuit representation. The circuit elements are modified to take account of both hysteresis and diffusion limitation. The latter is known to be a nonlinear function of large operating currents or long operating times. It is shown that the ...
متن کاملRenormalization And Causality Violations In Classical Gravity Coupled With Quantum Matter
I prove that classical gravity coupled with quantized matter can be renormalized with a finite number of independent couplings, plus field redefinitions, without introducing higher-derivative kinetic terms in the gravitational sector, but adding vertices that couple the matter stress-tensor with the Ricci tensor. The theory is called “acausal gravity”, because it predicts the violation of causa...
متن کامل